Connectives in Cumulative Logics
نویسنده
چکیده
Cumulative logics are studied in an abstract setting, i.e., without connectives, very much in the spirit of Makinson’s [11] early work. A powerful representation theorem characterizes those logics by choice functions that satisfy a weakening of Sen’s property α, in the spirit of the author’s [9]. The representation results obtained are surprisingly smooth: in the completeness part the choice function may be defined on any set of worlds, not only definable sets and no definability-preservation property is required in the soundness part. For abstract cumulative logics, proper conjunction and negation may be defined. Contrary to the situation studied in [9] no proper disjunction seems to be definable in general. The cumulative relations of [8] that satisfy some weakening of the consistency preservation property all define cumulative logics with a proper negation. Quantum Logics, as defined by [3] are such cumulative logics but the negation defined by orthogonal complement does not provide a proper negation.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملConnectives in Quantum and other Cumulative Logics
The nonmonotonic logics definable by definability-preserving choice functions that satisfy Coherence have been studied in [7]. Larger families correspond to weakenings of this property. The cumulative and loop-cumulative relations of [6] are characterized by such models and, as a consequence, one may study the natural connectives for those logics. The representation results obtained are surpris...
متن کاملImplicational (semilinear) logics II: additional connectives and characterizations of semilinearity
This is the continuation of the paper [4]. We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-p...
متن کاملAndré Fuhrmann CONDITIONAL LOGICS AND CUMULATIVE LOGICS
Introduction Inference ivolving (so-called counterfactual) conditionals is a well-understood variety of nonmonotonic modes of reasoning. There is, accordingly , some prospect that by establishing links between logics of con-ditionals and varieties of nonmonotonic reasoning our understanding of the latter will improve. The purpose of this paper is to exhibit a close relationship between familiar...
متن کاملA map of dependencies among three-valued logics
Three-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations. Several three-valued logics have been defined. They differ by their choice of basic connectives, hence also from a syntactic and proof-theoretic point of view. Different interpretations of the third truth v...
متن کامل